Logic optimization - PDFSEARCH.IO - Document Search Engine

Logic optimization
Results: 335

#	Item
321	Microsoft PowerPoint - CPAIOR 2009 workshop slides.ppt Add to Reading List Source URL: www.cs.utep.edu Language: English - Date: 2009-06-04 23:24:50 Computing Constraint satisfaction Local consistency Constraint optimization Mathematical optimization Search algorithm Constraint logic programming Decomposition method Constraint programming Software engineering Computer programming
322	Journal of Global Optimization 24: 285309, 2002. c 2002 Kluwer Academic Publishers. Printed in the Netherlands. Add to Reading List Source URL: www.ccas.ru Language: English - Date: 2003-12-19 14:38:47 Linear algebra Operator theory Calculus of variations Vector space Pullback Linear temporal logic Algebra Mathematics Mathematical analysis
323	Optimal Market-based Multi-Robot Task Allocation via Strategic Pricing Lantao Liu Add to Reading List Source URL: www.roboticsproceedings.org Language: English - Date: 2013-08-29 10:30:15 Matching Combinatorial optimization Operations research Algorithm Mathematical logic Theoretical computer science Hungarian algorithm Assignment problem Linear programming Mathematics Mathematical optimization Applied mathematics
324	S PEAR Theorem Prover Domagoj Babi´c ∗ (Theorem prover architect) Add to Reading List Source URL: www.cs.ubc.ca Language: English - Date: 2007-02-18 15:26:16 Mathematics Electronic design automation Logic in computer science NP-complete problems Boolean algebra Boolean satisfiability problem Mathematical optimization Program optimization Satisfiability Modulo Theories Theoretical computer science Applied mathematics Formal methods
325	PDF Document Add to Reading List Source URL: www.aaai.org Language: English - Date: 2006-01-09 20:13:26 Computing Constraint satisfaction problem Local consistency Constraint satisfaction Constraint logic programming Backtracking Interchangeable parts C Mathematical optimization Constraint programming Software engineering Computer programming
326	Microsoft Word - Single_Facility_Minisum_Annals_Paper.doc Add to Reading List Source URL: www.uspolyresearch.com Language: English - Date: 2007-01-05 13:47:54 Applied mathematics Theoretical computer science Algorithm Mathematical logic Mathematical optimization Geometric median Statistics Operations research Mathematics
327	PDF Document Add to Reading List Source URL: www.mosix.org Language: English - Date: 2003-01-25 03:47:21 Mathematical optimization Operations research Parallel computing Scheduling Algorithm Mathematical logic MOSIX Online algorithm Genetic algorithm Concurrent computing Mathematics Computing
328	PDF Document Add to Reading List Source URL: cobweb.ecn.purdue.edu Language: English Search engine optimization World Wide Web Internet marketing Mathematical logic Internet search engines Google Search PageRank Google Ranking Internet Computing Information science
329	PDF Document Add to Reading List Source URL: tx.technion.ac.il Language: English - Date: 2005-03-09 09:46:04 Theoretical computer science Combinatorial optimization Algorithm Control theory Robot Recursion Dynamic programming Branch and bound Mathematical logic Mathematics Applied mathematics
330	PDF Document Add to Reading List Source URL: fs.gallup.unm.edu Language: English - Date: 2011-07-13 10:13:16 Operations research Convex analysis Convex optimization Fractional programming Duality Combinatory logic Linear programming Vector space Convex function Mathematical optimization Mathematics Algebra

UPDATE